#include <stdio.h>
int main(){
    char c[100],ch,cnt,index;
    scanf("%c\n",&ch);
    gets(c);
    for(int i=0;c[i]!='\0';i++){
        if(c[i]==ch){
            index=i;
            cnt++;
        }
    }
    if(cnt>0){
        printf("index = %d",index);
    }else{
        printf("Not Found");
    }
    
    
    
    
    return 0;
}
